1. The Semantics and Proof Theory of the Logic of Bunched Implications
پدیدآورنده : by David J. Pym.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General).
تعداد ۲ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۰,۶۴ ثانیه یافت شد.
